Size and Structure of Random Ordered Binary Decision Diagrams (Extended Abstract)

Abstract. We investigate the size and structure of ordered binary decision diagrams (OBDDs) for random Boolean functions. Wegener (1994) showed that for “most” values of n , the expected OBDD-size of a random Boolean function with n variables equals the worst-case size up to terms of lower order. Our main result is that this phenomenon, also known as strong Shannon effect, shows a threshold behaviour: The strong Shannon effect does not hold within intervals of constant width around the values n = 2h+h , but it does hold outside these intervals. Moreover, we identify those n for which the gap between the average-case and the worst-case is minimal. We also describe the oscillation of the expected and the worst-case size. Methodical innovations of our approach are a functional equation to locate “critical levels” in OBDDs and the use of Azuma’s martingale inequality and Chvátal’s large deviation inequality for the hypergeometric distribution. This leads to significant improvements over Wegener’s [Weg94] probability bounds.